Area 51: A Hybrid Logic Problem